Конечное множество

Конечное множество

Определение:

Множество $A$ **конечно**, если оно равномощно отрезку $[ 1..n]$ множества $\mathbb{N}$ для некоторого $n$.